Don't round the parameter 12.04 in the explanatory paragraph unless `version()` rounds the parameter (cherry picked from commit 5cf544e03e5f833e1614fa940849976550d55448) (cherry picked from commit 56967497d5)
56967497d5