传为隋代人。隐士，星占家。一称即为唐人王希明，丹元子是其号。《通志·天文略》称：“隋有丹元子者，隐者之流也；不知名氏，作《步天歌》，见者可以观象焉。王希明纂汉晋志以释之，《唐书》误以为王希明也。”其《步天歌》对后世影响极大。