Documentation of trunc, randexp