One of the stores I manage is currently facing a bug that is not solved yet by WooCommerce, regarding rounding prices in