[fulafel]

As trivia, there does exist a well defined "next FP value" [1] for floats too but its behaviour might be unproductive here.

[1] https://doc.rust-lang.org/1.0.0/std/primitive.f64.html#metho...