Found a freezing bug: DEFDBL beta = 8.0 / 3.0