awesome InternalReal changes and math shell