<pre>Nextafter cannot be used for float32 operands. Should probably introduce Nextafter32 Nextafter64 and make Nextafter an "alias" for Nextafter64.</pre>