rounded-hw-0.1.0.0: Directed rounding for built-in floating types