Bring random numbers into mathtools