Eliminate numeric-range over inexact numbers? John Cowan 27 Aug 2020 23:05 UTC