should we handle the case that someone has set the number to some non_integer?