Re #9466. Quieting windoze compiler warning.
Merge branch 'feature/9466_float_atoms' into develop