[PD-dev] [ pure-data-Bugs-1996275 ] floats show as 6 digits, but implemented at higher precision