Hi Leonardo, welcome to the list! Thanks for posting.
My apologies for the documentation gap, we have `std::smul` and `std::umul` for the "full multiplication" signature (while the * operator is C-style giving you the same width result).
You can see example tests here:
We've been meaning to make a script that automatically generates stdlib documentation (markdown), but should have made manual documentation as a stopgap.
For the time being if you check out the stdlib.x, you can access all those functions like `std::umul` in the DSL.
Hope that helps, let me know if you run into any issues, and I'll be getting on some stdlib documentation solution post-haste. :-D
- Leary