the manual requires that 'math.abs(math.mininteger)' returns
an integer.
The following requirement in the manual
"integer results for integer arguments
and float results for float (or mixed) arguments"
might be replaced with
"the value returned by a math function has the most suitable numeric subtype"
Actually, the rule of "most suitable subtype" is already implemented for tonumber, math.floor and math.ceil