GROOVY-6268: minor tweak to the number section