DBL、TF、I32

DBLはdouble-precision floating-point numbers。
TFはtrue、false。
I32は32ビットsigned integer。