I am in SQL Workbench and want my output to include 4 decimal places. I have tried different combinations of casting \'sessions\', \'transactions\', and \'cvr\' as DECIMAL a