{-
    Some languages do not make principled distinctions between number types, so
    this checks that this Double is not silently considered as a Natural
-}
1.0