I tested it with a small program

object TestApp extends App {

  def div(a: Int)(b: Int): Option[Int] =
  if (b <= 0) None
  else if (a < b) Some(0)
  else Some(1 + div(a - b)(b).get)

  val r = div(5)(0)
  val o = r map {_ + 1}
  println(o)

}

Output is None.

Seems map works in this case.