Double-FP pseudo-registers.