Avoid double rounding #78
Description
#63 introduced has double rounding, which can be avoided by using the same algorithm Float16 uses
Originally posted by @oscardssmith in #63 (comment)
{{ message }}
#63 introduced has double rounding, which can be avoided by using the same algorithm Float16 uses
Originally posted by @oscardssmith in #63 (comment)