Update version number to 4.0.2 to fix AMO listing
Fix a rounding error
Update version number to 4.0.3