K5 Learning Mixed Rounding