numericToDouble

fun numericToDouble(value: Any?): Double

A number or a bigint, read as a double. This is what upstream got for free from Number.doubleValue() before bigints stopped being Number (D-54).