in reply to Re: Strange behaviour when printing certain numeric valuesin thread Strange behaviour when printing certain numeric values
This comment should go to the PR, too.