add a decimal representation to ease readability