Enforce decimal64 fraction-digits in derived types