On Fri, Jan 9, 2015 at 1:50 AM, Jussi Piitulainen <jpiitula at ling.helsinki.fi> wrote: > >>> 0*1e400 > nan Nice, that's shorter than mine. ChrisA