The following useful function is found in the includes/wc-core-functions.php and can be used by themes and plugins.

Formats a passed price with the correct number of decimals and currency symbol.

wc_price( $price, $args = array() )