macro processor: change name of Double type to Real
Passed
Houtan Bastani
created pipeline for commit
309326c3
, finished
For master
1 minute 32 seconds, queued for 8 seconds