Remove trailing dot zero from floating point types
Update example code