[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# float(?Real)

Succeeds if Real is a floating point number.

Real
  Prolog term.

## Description

Used to test whether Real is a floating point number.

### Modes and Determinism

- float(?) is semidet

### Fail Conditions

Fails if Real is not a floating point number

## Examples

       Success:
       float(1.0).
       float(3e27).
       Fail:
       float(1).
       float('1.0').
       float(X).

## See Also

atomic / 1, integer / 1, number / 1, rational / 1, breal / 1, real / 1