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