IEEE754Double (B2R2)

IEEE754Double Module

Function or value	Description
`IEEE754Double.isInfinity x` Full Usage: `IEEE754Double.isInfinity x` Parameters: x : `Expr` Returns: `Expr`	x : `Expr` Returns: `Expr`
`IEEE754Double.isNaN x` Full Usage: `IEEE754Double.isNaN x` Parameters: x : `Expr` Returns: `Expr`	x : `Expr` Returns: `Expr`
`IEEE754Double.isQNaN x` Full Usage: `IEEE754Double.isQNaN x` Parameters: x : `Expr` Returns: `Expr`	x : `Expr` Returns: `Expr`
`IEEE754Double.isSNaN x` Full Usage: `IEEE754Double.isSNaN x` Parameters: x : `Expr` Returns: `Expr`	x : `Expr` Returns: `Expr`
`IEEE754Double.isZero x` Full Usage: `IEEE754Double.isZero x` Parameters: x : `Expr` Returns: `Expr`	x : `Expr` Returns: `Expr`