[Maria-developers] Thoughts on a variable to control high resolution temporal type format and rounding behavior?