Title: The use of the word "mantissa" in mathematics