Yeah, it doesn't seem to matter how many extra 0s you place after the decimal point, or if you specify the SA period in exp notation: it will always be converted to a float, and extra trailing 0s are dropped. So given that, I'm inclined to leave things as-is.