This is an old revision of this page, as edited by Matthiaspaul(talk | contribs) at 02:22, 29 August 2017(improved floating point bit widths). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 02:22, 29 August 2017 by Matthiaspaul(talk | contribs)(improved floating point bit widths)