turn decimal number into string with comma

Source: R/my_theme.R

turn decimal number into string with comma

my_theme(...)

Arguments

...

others arguments passed to 'ggplot2::theme()'