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