SGIs and 64-bittiness