Use `core::Clock::time_point` instead of std::uint32_t