NON NEGATIVE FLOAT
==================
type
    NonNegativeFloat