Float type is #0008.