fix soft float