Post #3805859

@nikitonsky@mastodon.online yes, it's odd, but it's a small price to pay for a nice round number like 1.44.