doc/manual: mention Int128,Uint128,Float16 in types