Did you know ... Search Documentation:
Predicate b_real/0

Sorry, No manual entry for b_real/0