Serious question - why get so bothered by it? If he's old enough to be thinking about floating point numbers, he's definitely heard the word, and it's not especially gratuitous in this instance. Might be a good opportunity to discuss how word choice is dependent on context.