Changed #pragma into double-cast, which is more cross-platform and correct.