#include "types.h"

s32 __float_nan[]     = { 0x7FFFFFFF };
s32 __float_huge[]    = { 0x7F800000 };
s32 __double_max[]    = { 0x7FEFFFFF, 0xFFFFFFFF };
s32 __double_huge[]   = { 0x7FF00000, 0 };
s32 __extended_min[]  = { 0x00100000, 0 };
s32 __extended_max[]  = { 0x7FEFFFFF, 0xFFFFFFFF };
s32 __float_max[]     = { 0x7F7FFFFF };
s32 __float_epsilon[] = { 0x34000000 };
