A c&p typo made the DOUBLE_POSITIVE terminal defined upon itself, it should be defined on top of DOUBLE.