Add mips_time which extends the Time class with the method to_decimal