Hunh? What Scheme is this? The Scheme spec says "It [a numerical constant] is inexact if it contains a decimal point..." It also says "inexactness is a contagious property of a number". In any case, type checks are trivial.