strictfp

Karma: 2733