SQL++ Alignment: Result for AVG( DISTINCT int_field1 ) are incorrect in analytics.

SELECT AVG( DISTINCT int_field1 ) FROM  simple_table_db_83597457_simple_table_shadow   WHERE  bool_field1    GROUP BY   int_field1 , decimal_field1 ,  primary_key_id , varchar_field1 , char_field1 ,  bool_field1    ;

mysql> SELECT AVG( DISTINCT int_field1 ) FROM  simple_table   WHERE  bool_field1    GROUP BY   int_field1 , decimal_field1 ,  primary_key_id , varchar_field1 , char_field1 ,  bool_field1    ;