I'd put it right after float, keep the numbers together.