emit 5.0 instead of +5 in asm