WP-4611: comment out float.