SELECT binary_double_infinity