include NonNegativeFloat