Module type Types.Arithmetic
Module type for arithmetic numbers. In POSIX world, an arithmetic type can be either a floating point number or an integer (of unknown size).
Types.ArithmeticModule type for arithmetic numbers. In POSIX world, an arithmetic type can be either a floating point number or an integer (of unknown size).