Use larger alloc_float for intptr types