Get rid of x87_push_dbl() by passing an usable register to x87_create_fpush().