It’s technically even more complicated than just scaling the day/seconds by to match a Martian sol. There are relativistic corrections that add up over time (Earth clocks would observe Mars clocks ticking at a different and non-constant rate). Good thing this is real :)