Can probably be `* 1000`, or, if that doesn't work `* 1000u32`.