As others said, round down. I once ordered spokes ~2.5mm too short (by mistake), and they turned out long enough.

Others may know more, though.