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