On Mantissa Distributions in Computing and Benford's Law