js/numerical_axis.js: nice_number_digits was already defined elsewhere

See 62eefb1d and 71be5c3b, and #2731.
6 jobs for feature-c/2731-nice_number_digits in 9 minutes and 49 seconds (queued for 3 seconds)