This is a proposed change to Scala's system of numerics