Avoiding problems with x87