Add HALF and DOUBLE.