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