raft: print out term in decimal format