Don't hardcode i32 in FFI bindings

Closes #695