When the metre was redefined to be the distance travelled by light in exactly 1/299,792,458 seconds, was it very slightly changed to make that a whole number?