Ada might have what you want: https://www.jviotti.com/2017/12/05/an-introduction-to-adas-simple-numeric-types.html#real-types https://www.jviotti.com/2017/12/0

Ada might have what you want: https://www.jviotti.com/2017/12/05/an-introduction-to-adas-simple-numeric-types.html#real-types https://www.jviotti.com/2017/12/05/an-introduction-to-adas-s... http://www.ada-auth.org/standards/22rm/html/RM-3-5-7.html http://www.ada-auth.org/standards/22rm/html/RM-3-5-7.html http://www.ada-auth.org/standards/22rm/html/RM-A-5-3.html http://www.ada-auth.org/standards/22rm/html/RM-A-5-3.html Ada also has fixed point types: http://www.ada-auth.org/standards/22rm/html/RM-3-5-9.html http://www.ada-auth.org/standards/22rm/html/RM-3-5-9.html