src/Pure/General/date.scala

--- a/src/Pure/General/date.scala	Tue Jan 31 20:44:35 2023 +0100
+++ b/src/Pure/General/date.scala	Tue Jan 31 23:17:44 2023 +0100
@@ -106,6 +106,7 @@
   def to(zone: ZoneId): Date = new Date(rep.withZoneSameInstant(zone))
 
   def unix_epoch: Long = rep.toEpochSecond
+  def unix_epoch_day: Long = rep.toLocalDate.toEpochDay
   def instant: Instant = Instant.from(rep)
   def time: Time = Time.instant(instant)
   def timezone: ZoneId = rep.getZone