Implement isinf builtin