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