efloat (cargo): Error-bounded Floating Point
Keywords: float|error