select 'Infinity' as s, s::DOUBLE as infinity, s::FLOAT = infinity, -infinity = '-INF'::DOUBLE;