Fixed the definition of GINT64_MIN and MAX, so the value is now cast
correctly