Using hard float optimization