2014-08-20-21.15.12: src/lib/core/init/pervasive.pkg: Rename   real: Int -> Float;   to   float: Int -> Float;  -- I loath confusing floats and reals.