Fixed predicates for inexact numbers