futhark-mode: also highlight numeric constants.
futhark-mode: also highlight numeric constants.

diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark