Use Pat<> for floating point move patterns.