Use yang.common.Decimal64 for decimal64