Nesterov: float-type based bugs fixed