Good observation. I believe a similar concept is used in high frequency trading (in markets such as foreign exchange). So derivatives are not dt, but du where u is a surrogate for time in ticks.