The T800 series did have floating point, and as I understand it, it was one of the most extensive uses of formal methods in processor design of its era http://www.transputer.net/tn/06/tn06.html
The rough guide to transputers is, T2: 16 bit; T4: 32 bit; T8: FPU; T9: superscalar.