0.0 / 0.0は何になる？

僕の手元のMac OS X 10.7.3ではnanになるのだけどRackhub(Ubuntu)で試してみたら-nanになった。どういう理由で挙動が違うんだろう？？

#include <stdio.h>
int main(){
  printf("%f\n", 0.0 / 0.0);
}

仕様上0.0 / 0.0はNaNを返せとは書いてあるが、NaNの符号や仮数部に何を入れるかは規定されていないので-nanを返してもOK、というところまでは分かった。