float -> literal, and even more specs