On 1/2/19 2:27 pm, Bryce Harrington wrote: > API Changes > ----------- > None The new floating point formats are an API addition. They have also been incorrectly documented as "Since 1.16" in the docs. Any plans to release a 1.16.2 with the accumulated bug fixes on master soon?