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