Fixed bad casting (now using float instead of int when initializing Timestamp object)