Integer overflow in fx_basic.h and fx_memory.h