Is there any method to emphasize digits with
For example, I want to make the number
4.0 to be orange like this:
(From TensorFlow website.)
I have tried options
emphstyle, but they can only emphasize identifiers like
node1, while pure numbers can't be emphasized.