Specs for Float#next_float and #prev_float on NAN