Init: plays with Nextafter()