Added timer::difference_fractional