I think it's fine as long as it's being set. I don't think we should worry about it's real value across different browser implementations if it's only have by a few decimal points.