This can be resolve by editing the woocommerce plugin.
edit the file “/wp-content/plugins/woocommerce/includes/admin/meta-boxes/views/html-variation-admin.php” on line 115 replace the
echo esc_attr( $_stock );
to
echo esc_attr( number_format($_stock , 0, ‘.’, ”));