You can just wrap the literal in a conversion function, eg Float32(0x1p52), which should get constant propagated at compile time.