diff --git a/specification/hugr.md b/specification/hugr.md index 07eab9b09..f2baa4602 100644 --- a/specification/hugr.md +++ b/specification/hugr.md @@ -1798,8 +1798,8 @@ Conversions between integers and floats: | Name | Inputs | Outputs | Meaning | | -------------- | --------- | ------------------------ | --------------------- | -| `trunc_u` | `float64` | `Sum(#(int), #(ErrorType))` | float to unsigned int. Returns an error when the float is non-finite or cannot be exactly stored in N bits. | -| `trunc_s` | `float64` | `Sum(#(int), #(ErrorType))` | float to signed int. Returns an error when the float is non-finite or cannot be exactly stored in N bits. | +| `trunc_u` | `float64` | `Sum(#(int), #(ErrorType))` | float to unsigned int, rounding towards zero. Returns an error when the float is non-finite. | +| `trunc_s` | `float64` | `Sum(#(int), #(ErrorType))` | float to signed int, rounding towards zero. Returns an error when the float is non-finite. | | `convert_u` | `int` | `float64` | unsigned int to float | | `convert_s` | `int` | `float64` | signed int to float |