1structure fp32Syntax :> fpSyntax =
2   fpSyntax (val thy = "machine_ieee"
3             val fp = "fp32"
4             val ty = wordsSyntax.mk_int_word_type 32)
5