use real numbers, doesn't work