Using hard float optimizations