Function float_is_infinite 

fn float_is_infinite<S: Semantics>(v: Symbol) -> Option<bool>

None if v does not parse as the float type, otherwise indicates whether a literal rounds to infinity.