; RUN: llvm-as < %s | llvm-dis | grep 0x80


global double 0x8000000000000000
global float -0.0