public static double getDay(object thisObj) { SemanticAnalyser.assert_type(thisObj, typeof(DateObject)); DateObject date = (DateObject)thisObj; double val = date.ms; if (Double.IsNaN(val)) { return(Double.NaN); } else { return(DateConstructor.WeekDay(DateConstructor.LocalTime(val))); } }