[WIP] Add specs for negative floating point numbers.