floating point support

3 triples
GPTKB property

Random triples
Subject Object
gptkb:TI_TMS320C6x_DSP yes (C67x series)
gptkb:AMD_29K_family optional coprocessor
gptkb:Z8000_family optional (with Z8070 FPU)