Platform type consistency

Update to make platform/types.h basic types F32, F64 S32, U32, etc consistent in the engine. This is also in reference to issue #85.