fix mistake re Decimal64 advice