I should have phrased it differently, like “Ah yes, the well known 5.9068905956 bit integer.” But thanks