Hi RK,
Thank you so much for your reply!
Good to know that this issue is produced by the theme and not due to Woocommerce.
I will get in contact with the developers to see if they can support me on this.
Your quick fix did sort of the trick to get the last decimals smaller. Getting the separator would get us back on track.
Thanks!!