You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the interest of There's Only One Way To Do It, I don't see why having two slightly different forms for the same result is necessary. I thereby propose that the capitalized form be removed because:
All other letters in numeric literals (i, u, f) are lower case. Mandating e would make literals more consistent.
Among numbers, a lowercase letter is easier to recognize at a glance than an uppercase one, making this a readability win.
This also makes the grammar slightly simpler. But really I just care about not having two trivially different ways of doing the same thing.